$\forall$$d$:Decision. dec2bool($d$) $\Leftrightarrow$ $d$